81. Effective mathematics of the uncountable /
پدیدآورنده : edited by Noam Greenberg (Victoria University of Wellington), Joel David Hamkins (City University of New York), Denis Hirschfeldt (University of Chicago), Russell Miller (City University of New York).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Model theory.
82. Electromagnetic field computation by Network methods
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Electromagnetic fields -- Data processing.,Electromagnetic theory -- Data processing.,Electromagnetic fields -- Mathematical models.,Elektromagnetisches Feld -- Numerisches- Verfahren.,Numerisches Verfahren. swd
رده :
530
.
1410285
F324
83. Electronic phase transitions /
پدیدآورنده : volume editors, W. Hanke, Yu.V. Kopaev
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Anderson model,Electronic structure,Energy-band theory of solids
رده :
QC176
.
8
.
E4
E36
1992
84. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
85. Elements of Finite Model Theory
پدیدآورنده : libkin ,leonid
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model Theory
رده :
EBOOK
,
QA
L53
9
.
7
86. Elements of finite model theory
پدیدآورنده : Libkin, Leonid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
L53
2004
87. Elements of finite model theory
پدیدآورنده : by Leonid Libkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Model theory.
رده :
QA9
.
7
B954
2011
88. Endliche Strukturen /
پدیدآورنده : Kristina Reiss, Gernot Stroth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.,Algebra, Abstract.,Algebra, Universal.,Finite groups.,Finite model theory.,Mathematical analysis.
رده :
QA300
.
R45
2011eb
89. Essential stability theory
پدیدآورنده : Buechler, Steven
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Model theory , Stability
رده :
QA
9
.
7
.
B84
1996
90. Essential stability theory
پدیدآورنده : / Steven Buechler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Model theory,Stability
رده :
QA9
,.
7
.
B84
91. Essential stability theory
پدیدآورنده : Buechler, Steven
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Stability
رده :
QA
9
.
7
.
B8
92. Exactly solvable models of strongly correlated electrons
پدیدآورنده : editors, Vladimir E. Korepin, Fabian H.L. Essler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Hubbard model,، Energy-band theory of solids,، Mathematical physics
رده :
QC
176
.
8
.
E4E93
93. Financial risk management with Bayesian estimation of GARCH models
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Bayesian statistical decision theory. ; Risk management ; Mathematical models. ; GARCH model. ;
94. Fine structure and class forcing
پدیدآورنده : Friedman, Sy D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Forcing )Model theory(
رده :
QA
9
.
7
.
F75
2000
95. Finite and algorithmic model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ;
96. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
97. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
98. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
99. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
E22F5
2006
100. Finite model theory
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Model theory
رده :
511
.
34
E15f
1999
